1. Artificial intelligence and heuristic programming
پدیدآورنده :
موضوع : ، Artificial intelligence,، Electronic digital computers-- Programming,، Heuristic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Automated reasoning: 33 Base research problems
پدیدآورنده : Larry Wos
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988
3. Automated reasoning: introduction and applications
پدیدآورنده : )by( Larry Wos )et al.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
A96
A93
1984
4. Catalogue of artificial intelligence tools
پدیدآورنده : edited by Alan Bundy
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Artificial intelligence -- Data processing,، Robotics,، Electronic digital computers -- Programming,Catalogs ، Computer programs
رده :
Q
336
.
C27
1986
5. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
6. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
7. Catalogue of artificial intelligence tools
پدیدآورنده : BUNDY,ALAN
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ARTIFICIAL INTELLIGENCE-DATA PROCESSING , ROBOTICS , ELECTRONIC DIGITAL COMPUTERS-
رده :
Q
336
.
B86
1986
8. Fuzzy, holographic, and parallel intelligence :
پدیدآورنده : [edited by] Branko Souček and the IRIS Group
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Electronic digital computers
رده :
QA76
.
5
.
F89
1992
9. Fuzzy, holographic, and parallel intelligence : the sixth generation breakthrough
پدیدآورنده : )edited by( Branko Soucek and the IRIS Group
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers,، Artificial intelligence
رده :
QA
76
.
5
.
F89
1992
10. Fuzzy, holographic, and parallel intelligence : the sixth generation breakthrough
پدیدآورنده :
موضوع : ، Electronic digital computers,، Artificial intelligence
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
11. Intelligent systems:the unprecedented opportunity
پدیدآورنده : HAYES,JEAN E ED
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ARTIFICIAL INTELLIGENCE-ADDRESSES,ESSAYS , ELECTRONIC DIGITAL COMPUTERS-ADDRESSES,
رده :
Q
335
.
5
.
I53
12. On conceptual modelling : perspectives from artificial intelligence, database, and programming languages
پدیدآورنده : edited by Michael L. Brodie, John Mylopoulos, Joachim W. schmidt
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Digital computer simulation,، Artificial intelligence,، Database management,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65O5
1984
13. Programming for artificial intelligence: methods, tools and applecations
پدیدآورنده : Kreutzer, Wolfgang
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Artificial intelligence
رده :
QA
76
.
6
.
K735
1990
14. Programming for artificial intelligence: : methods, tools, and applications
پدیدآورنده : Kreutzer, Wolfgang
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic digital computers- Programming,، Artificial intelligence
15. #Software engineering
پدیدآورنده : #Edited by Julius T. Tou
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Electronic digital computers- Congresses ،Programming languages )Electronic computers(- Congresses ،Information storage and retrieval systems- Congresses ،Artificial intelligence- Congresses
رده :
#
QA
،#.
C61255
،#
1969
16. Software engineering: proceedings
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Electronic digital computers - Congresses,، Programning languaes ) Electronic computers ( - congresses,، Information storage and retrieval systems - Congresses,، Artificial intelligence - Congresses
رده :
QA
76
.
2
.
C61255
17. The brains of men and machines
پدیدآورنده : Kent, Ernest. W.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Brain,، Artificial intelligence,، Electronic digital computers
رده :
QP
376
.
K39
1980
18. The brains of men and machines
پدیدآورنده : kent, Ernest W.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Brain,، Artificial intelligence,، Electronic digital computers
رده :
QP
376
.
K39
1980